\documentclass[times]{stvrauth}

\usepackage{graphicx}
\usepackage{pifont}
\usepackage{url}
\usepackage{code}

\def\volumeyear{2015}

\newcommand{\comment}[1]{}

\runningheads{A.~Groce.~et. al}{Cause reduction: delta debugging, even without bugs}

\title{Cause reduction: delta debugging, even without bugs}


\author{Alex Groce\affil{1}\corrauth,
Amin Alipour\affil{1},
Chaoqiang Zhang\affil{1},
Yang Chen\affil{2},
John Regehr\affil{2}}

\address{\affilnum{1}Oregon State University, Corvallis, OR 97331, USA\break
\affilnum{2}University of Utah, UT 84112, USA}


%\author{\IEEEauthorblockN{%
%Alex Groce,\IEEEauthorrefmark{1}
%Amin Alipour,\IEEEauthorrefmark{1}
%Chaoqiang Zhang,\IEEEauthorrefmark{1}
%Yang Chen,\IEEEauthorrefmark{2} and
%John Regehr,\IEEEauthorrefmark{2}}

%\IEEEauthorblockA{\IEEEauthorrefmark{1}%
%School of Electrical Engineering and Computer Science\\
%Oregon State University
%\{grocea,zhangch,alipourm\}@onid.orst.edu%
%}

%\IEEEauthorblockA{\IEEEauthorrefmark{2}%
%School of Computing\\
%University of Utah\\
%\{chenyang,regehr\}@cs.utah.edu%
%}}

%\author{\IEEEauthorblockN{Alex Groce, Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr}
%\IEEEauthorblockA{School of Electrical Engineering and Computer Science\\
%Oregon State University, Corvallis, OR\\
%Email: agroce@gmail.com, alipourm,zhangch@onid.oregonstate.edu}}

\begin{document}

\maketitle 

\begin{abstract}
\input{abstract}
\end{abstract}

\input{intro}

\input{covmin}

\input{casestudies}

\input{related}

\input{conclusions}

\bibliographystyle{IEEEtran}
% argument is your BibTeX string definitions and bibliography database(s)

\def\IEEEbibitemsep{0.6pt plus 0.9pt}

\bibliography{bibliography}

\end{document}